$\forall$$A$:Type, $d$:EqDecider($A$), $i$,$j$:$A$. ($i$ = $j$) $\Rightarrow$ sqequal((eqof($d$)($i$,$j$)); tt)